\subsubsection{Hora}

Estas FSM representan la actualización de la hora de cada sucursal.

Cada sucursal se conecta al servidor de hora.
La conexión puede fallar pero se asume que una vez establecida, no se interrumpe.
Después de conectarse, la sucursal consulta la hora, y espera una respuesta.
Cuando obtiene la respuesta, se desconecta y actualiza el reloj de tiempo real (rtc).

El servidor de hora, se pone a la escucha de peticiones.
En algún momento una sucursal se conecta y envia una consulta.
El servidor obtiene la hora de su rtc y se la devuelve a la sucursal.
Luego se desconecta y vuelve a escuchar.

\bigskip

\begin{figure}[!ht]
  \begin{center}
	\subfloat[Servidor de hora]{\includegraphics[angle=90, scale=0.25]{imagenes/diagramas/fsm_hora_server.png}}
	\subfloat[Petición de hora]{\includegraphics[angle=90, scale=0.25]{imagenes/diagramas/fsm_hora_query.png}}
  \end{center}
   \caption{Máquinas de estados que modelan la petición y actualización de la hora de una sucursal.}
\end{figure}
